SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Not enough search parameters. I'm using defaults.
FILE WASN'T FOUND IN ANY RPM FILE. TRYING TO SEARCH THIS FILE ON FTP SERVERS
You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 681 - 720 hits of 5458. Search took 0.00 seconds.
8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
24
24
25
25
26
26
27
27
28
28

Search results for id :
Filename  Distribution  File size
idris-1.3.3-3.fc34.src.rpm  Fedora 34  1694 kB  
idris-1.3.3-2.fc33.x86_64.rpm  Fedora 33  18934 kB  Info
idris-1.3.3-2.fc33.src.rpm  Fedora 33  1694 kB  
idris-1.3.2-3.fc32.x86_64.rpm  Fedora 32  21174 kB  Info
idris-1.3.2-3.fc32.src.rpm  Fedora 32  2058 kB  
idris-1.3.2-1.fc31.x86_64.rpm  Fedora 31  21098 kB  Info
idris-1.3.2-1.fc31.src.rpm  Fedora 31  2057 kB  
idris-1.3.1-1.fc30.x86_64.rpm  Fedora 30  29698 kB  Info
idris-1.3.1-1.fc30.src.rpm  Fedora 30  2019 kB  
idris-1.3.1-1.fc30.i686.rpm  Fedora 30  29693 kB  Info
idris-1.3.0-5.fc29.x86_64.rpm  Fedora 29  62 kB  Info
idris-1.3.0-5.fc29.src.rpm  Fedora 29  1994 kB  
idris-1.3.0-5.fc29.i686.rpm  Fedora 29  61 kB  Info
idris-1.3.0-4.fc28.x86_64.rpm  Fedora 28  64 kB  Info
idris-1.3.0-4.fc28.src.rpm  Fedora 28  1996 kB  
idris-1.3.0-4.fc28.i686.rpm  Fedora 28  63 kB  Info
idris-0.9.9.1-8.fc24.x86_64.rpm  Fedora 24  1900 kB  Info
idris-0.9.9.1-8.fc24.src.rpm  Fedora 24  338 kB  
idris-0.9.9.1-8.fc24.i686.rpm  Fedora 24  1943 kB  Info
idris-0.9.9.1-8.fc23.x86_64.rpm  Fedora 23  1908 kB  Info
idris-0.9.9.1-8.fc23.src.rpm  Fedora 23  338 kB  
idris-0.9.9.1-8.fc23.i686.rpm  Fedora 23  1942 kB  Info
idris-0.9.9.1-7.fc24.x86_64.rpm  Fedora 24  1900 kB  Info
idris-0.9.9.1-7.fc24.src.rpm  Fedora 24  338 kB  
idris-0.9.9.1-7.fc24.i686.rpm  Fedora 24  1943 kB  Info
idris-0.9.9.1-6.fc23.x86_64.rpm  Fedora 23  1907 kB  Info
idris-0.9.9.1-6.fc23.src.rpm  Fedora 23  338 kB  
idris-0.9.9.1-6.fc23.src.rpm  Fedora 23  338 kB  
idris-0.9.9.1-6.fc23.i686.rpm  Fedora 23  1942 kB  Info
idris-0.9.9.1-5.fc22.x86_64.rpm  Fedora 22  1907 kB  Info
idris-0.9.9.1-5.fc22.src.rpm  Fedora 22  338 kB  
idris-0.9.9.1-5.fc22.i686.rpm  Fedora 22  1942 kB  Info
idris-0.9.9.1-4.fc22.src.rpm  Fedora 23  338 kB  
idris-0.9.9.1-4.fc22.s390.rpm  Fedora 22  4920 kB  
idris-0.9.9.1-4.fc22.s390.rpm  Fedora 23  4920 kB  
idris-0.9.9.1-3.fc22.src.rpm  Fedora 22  337 kB  
idris-0.9.9.1-3.fc21.x86_64.rpm  Fedora 21  1787 kB  Info
idris-0.9.9.1-3.fc21.src.rpm  Fedora 21  337 kB  
idris-0.9.9.1-3.fc21.s390.rpm  Fedora 21  6412 kB  
idris-0.9.9.1-3.fc21.i686.rpm  Fedora 21  1774 kB  Info

8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
24
24
25
25
26
26
27
27
28
28
  
ICM